home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / t3_1 / risc_src.lha / risc_sources / tman / list.aux < prev    next >
Latex Auxiliary File  |  1990-10-02  |  2KB  |  34 lines

  1. \relax 
  2. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {9}Lists}{59}}
  3. \@writefile{lof}{\string\addvspace\space {10pt}}
  4. \@writefile{lot}{\string\addvspace\space {10pt}}
  5. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9.1}Predicates}{59}}
  6. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9.2}Constructors}{60}}
  7. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9.3}List access}{60}}
  8. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9.4}Lists as sequences}{61}}
  9. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9.5}Lists as sets}{62}}
  10. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9.6}Mapping Procedures}{63}}
  11. \newlabel{MAP}{{9.6}{63}}
  12. \newlabel{WALK}{{9.6}{64}}
  13. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9.7}Lists as associations}{64}}
  14. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9.8}Lists as stacks}{64}}
  15. \global\@namedef{cp@list}{
  16. \setcounter{page}{66}
  17. \setcounter{equation}{0}
  18. \setcounter{enumi}{0}
  19. \setcounter{enumii}{0}
  20. \setcounter{enumiii}{0}
  21. \setcounter{enumiv}{0}
  22. \setcounter{footnote}{0}
  23. \setcounter{mpfootnote}{0}
  24. \setcounter{part}{0}
  25. \setcounter{chapter}{9}
  26. \setcounter{section}{8}
  27. \setcounter{subsection}{0}
  28. \setcounter{subsubsection}{0}
  29. \setcounter{paragraph}{0}
  30. \setcounter{subparagraph}{0}
  31. \setcounter{figure}{0}
  32. \setcounter{table}{0}
  33. }
  34.